Moment formulae for general point processes
نویسندگان
چکیده
منابع مشابه
Characteristic Formulae for Fixed-Point Semantics: A General Framework
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed points of suitable functions. Such constructions and their proofs of correctness have been developed independently, but have a common underlying structure. This ...
متن کاملMoment estimation for statistics from marked point processes
In spatial statistics the data typically consist of measurements of some quantity at irregularly scattered locations; in other words, the data form a realization of a marked point process. In this paper, we formulate subsampling estimators of the moments of general statistics computed from marked point process data, and establish their L2 consistency. The variance estimator in particular can be...
متن کاملNew Point Addition Formulae for ECC Applications
In this paper we propose a new approach to point scalar multiplication on elliptic curves defined over fields of characteristic greater than 3. It is based on new point addition formulae that suit very well to exponentiation algorithms based on Euclidean addition chains. However finding small chains remains a very difficult problem, so we also develop a specific exponentiation algorithm, based ...
متن کاملOn Negative Tagging for Leastfixed - Point Formulae
Proof systems with sequents of the form U ` for proving validity of a propositional modal-calculus formula over a set U of states in a given model usually handle xed-point formulae through unfolding, thus allowing such formulae to reappear in a proof. Tagging is a technique originated by Winskel for annotating xed-point formulae with information about the proof states at which these are unfolde...
متن کاملMoment Estimates for Lévy Processes
For real Lévy processes (Xt)t≥0 having no Brownian component with Blumenthal-Getoor index β, the estimate E sups≤t |Xs − aps| ≤ Cpt for every t∈ [0, 1] and suitable ap ∈ R has been established by Millar [6] for β < p ≤ 2 provided X1 ∈ L. We derive extensions of these estimates to the cases p > 2 and p ≤ β.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Analysis
سال: 2014
ISSN: 0022-1236
DOI: 10.1016/j.jfa.2014.04.014